1

The Epsilon-Reconstruction of Theories and Scientific Structuralism

Year:
2016
Language:
english
File:
PDF, 553 KB
english, 2016
2

Knowledge, belief, normality, and introspection

Year:
2017
Language:
english
File:
PDF, 803 KB
english, 2017
3

Truth, Partial Logic and Infinitary Proof Systems

Year:
2017
Language:
english
File:
PDF, 579 KB
english, 2017
4

A Sequent Calculus for a Negative Free Logic

Year:
2010
Language:
english
File:
PDF, 273 KB
english, 2010
5

Incomplete Symbols — Definite Descriptions Revisited

Year:
2015
Language:
english
File:
PDF, 463 KB
english, 2015
6

A Sequent Calculus for a Negative Free Logic

Year:
2010
Language:
english
File:
PDF, 1.14 MB
english, 2010
7

Logicality, Double-Line Rules, and Modalities

Year:
2018
Language:
english
File:
PDF, 584 KB
english, 2018
9

Proof-Theoretic Analysis of The Quantified Argument Calculus

Year:
2019
Language:
english
File:
PDF, 511 KB
english, 2019